class NEXT{T < $NEXT{T}} < $NEXT{T} |
---|
**** | Inherited by classes whose objects need to point to a list of objects of type T. Classes which inherit this get a `next' pointer and some features to manipulate it. It doesn't suport circular lists. |
$NEXT{_} |
BUCKET{_} | DATABUCKET{_,_} |
attr next:T; |
---|
**** | Pointer to next element in list, if any. |
attr next:T; |
---|
**** | Pointer to next element in list, if any. |
append(l:T) |
---|
**** | Append the list `l' to the end of the list self. self may not be void but `l' may be. |
insert(e:T) |
---|
**** | Insert the single element `e' after self. Neither may be void, `e.next' must be void. |
size:INT |
---|
**** | The number of elements in the list starting with self. Self may be void. |